x86-64/EFI: don't call EfiResetSystem() from machine_halt()
authorJan Beulich <jbeulich@novell.com>
Tue, 19 Jul 2011 13:10:15 +0000 (14:10 +0100)
committerJan Beulich <jbeulich@novell.com>
Tue, 19 Jul 2011 13:10:15 +0000 (14:10 +0100)
commite4c3755d4dd746511a87b9f7da7199fcd3ee0333
treef00b8a7eb9c7b933c758dc08ef1178bd822883c2
parentab8112740cd909f09f21ae7f9c50f05172110151
x86-64/EFI: don't call EfiResetSystem() from machine_halt()

c/s 23615:d19e77844267 was a little too eager in adding calls to EFI
runtime services: machine_halt() doesn't really want to power off the
machine, but that's what EfiResetSystem(EfiResetShutdown, ...) (called
through efi_halt_system()) does.

Signed-off-by: Jan Beulich <jbeulich@novell.com>
xen/arch/x86/shutdown.c